منابع مشابه
Deduction as an Engineering Science
Although in recent years considerable progress has been made in the theory of automated theorem proving, the use of theorem provers in practice is still more or less restricted to a limited number of academic groups. A lot of effort has been spent in techniques to optimize the underlying logic engine by, for instance, developing efficient datastructures or controlling redundancy in large search...
متن کاملMechatronics as an engineering science
The paper discusses the current understanding of mechatronics as an interdisciplinary subject. A conclusion is that mechatronics tends to attract contributions from many related fields, leading to a lack of focus as exemplified by many mechatronic conferences. Instead, the authors claim that engineers and researchers in mechatronics should concentrate on the opportunities and challenges arising...
متن کاملManufacturing Engineering as an Experimental Science
Successful competition today requires design and production of high quality products with a broad range of features and on-time delivery. These market requirements lead to manufacturing requirements. The wide range of features leads to smaller lot sizes and on-time delivery leads to a requirement for reducing the cycle time variability. It is difficult to meet these requirements while reducing ...
متن کاملDeduction as stochastic simulation
Many theorists argue that deduction is based on the construction of mental models or simulations of descriptions. Individuals tend to reason intuitively from a single mental model, but on occasion they make a deliberate search for alternative models. Previous computer implementations of the theory were deterministic, but evidence from empirical studies suggested that a stochastic algorithm woul...
متن کاملInduction as Deduction Modulo
Inductive proofs can be built either explicitly by making use of an induction principle or implicitly by using the so-called induction by rewriting and inductionless induction methods. When mechanizing proof construction, explicit induction is used in proof assistants and implicit induction is used in rewrite based automated theorem provers. The two approaches are clearly complementary but up t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80648-0